groebner basis for {x^2 y^3 + 3x^2 y - y^3, y^2+2x, xy}